A Technique for Mutation of Java Objects
نویسندگان
چکیده
Mutation analysis inserts faults into a program to create test sets that distinguish the mutant from the original program. Inserted faults must represent plausible errors. Standard transformations can mutate scalar values such as integers, floats, and character data. Mutating objects is an open problem, because object semantics are defined by the programmer and can vary widely. We develop mutation operators and support tools that can mutate Java library items that are heavily used in commercial software. Our mutation engine can support reusable libraries of mutation components to inject faults into objects that instantiate items from these common Java libraries. Our technique should be effective for evaluating real-world software testing suites.
منابع مشابه
Mutation of Java Objects
Fault insertion based techniques have been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating mutation-adequate test sets that distinguish the mutant from the original program. Software testability is measured by calculating the probability that a program will fail on the next test input coming from a predefine...
متن کاملMutations in the RpoB Gene of Multidrug-Resistant Mycobacterium Tuberculosis Isolates from Semarang, Indonesia
ABSTRACTTuberculosis is an infectious disease which occurs widely in the world and becomes one of the top 10 causes of death worldwide. Mutations of the RpoB gene cause the resistance of Mycobacterium tuberculosis to rifampicin that contributes to the occurrence of MDR-TB. This study aimed to determine the pattern of rpoB gene polymorphisms in the MDR M. tuberculosis in Semarang, Indonesia. Mos...
متن کاملAN INTRODUCTION TO HIGHER CLUSTER CATEGORIES
In this survey, we give an overview over some aspects of the set of tilting objects in an $m-$cluster category, with focus on those properties which are valid for all $m geq 1$. We focus on the following three combinatorial aspects: modeling the set of tilting objects using arcs in certain polygons, the generalized assicahedra of Fomin and Reading, and colored quiver mutation.
متن کاملMaintaining Invariants Through Object Coupling Mechanisms
Object invariants are critical components to the specification of object-oriented systems, which define valid states for objects and how they may be interrelated. A complex problem is created when an invariant relies on objects that are externally aliased and modified, since the invariant’s class cannot ensure that modification to these objects preserves the invariant. This paper informally int...
متن کاملTolerating Latency by Prefetching Java Objects
In recent years, processor speed has become increasingly faster than memory speed. One technique for improving memory performance is data prefetching which is successful in array-based codes but only now are researchers applying to pointer-based codes. In this paper, we evaluate a data prefetching technique, called greedy prefetching, for tolerating latency in Java programs. In greedy prefetchi...
متن کامل